INITEX

Runs INITEX, a special version of TEX normally used to create format files; see section [*].